$\mathbb{P}$\{i\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Type\{i\}